﻿
namespace Library.Logic.Constraints
{
    public interface IHasPostconditionsReasonReadOnly
    {
        IConstraintsReasonReadOnly Postconditions { get; }
    }

    public interface IHasPostconditionsReason : IHasPostconditionsReasonReadOnly
    {
        new IConstraintsReason Postconditions { get; }
    }
}
